#ifndef __LINUX_TIMEX_H__
#define __LINUX_TIMEX_H__

#include "common/basictypes.h"

extern u32 tick_usec;
extern u32 tick_nsec;

#endif // __LINUX_TIMEX_H__
